Optimal. Leaf size=114 \[ \frac {2^{\frac {1}{2}-m} c \cos ^3(e+f x) \, _2F_1\left (\frac {1}{2} (1+2 m),\frac {1}{2} (3+2 m);\frac {1}{2} (5+2 m);\frac {1}{2} (1+\sin (e+f x))\right ) (1-\sin (e+f x))^{\frac {1}{2}+m} (a+a \sin (e+f x))^m (c-c \sin (e+f x))^{-2-m}}{f (3+2 m)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.24, antiderivative size = 114, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 38, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.132, Rules used = {2920, 2824,
2768, 72, 71} \begin {gather*} \frac {c 2^{\frac {1}{2}-m} \cos ^3(e+f x) (1-\sin (e+f x))^{m+\frac {1}{2}} (a \sin (e+f x)+a)^m (c-c \sin (e+f x))^{-m-2} \, _2F_1\left (\frac {1}{2} (2 m+1),\frac {1}{2} (2 m+3);\frac {1}{2} (2 m+5);\frac {1}{2} (\sin (e+f x)+1)\right )}{f (2 m+3)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 71
Rule 72
Rule 2768
Rule 2824
Rule 2920
Rubi steps
\begin {align*} \int \cos ^2(e+f x) (a+a \sin (e+f x))^m (c-c \sin (e+f x))^{-1-m} \, dx &=\frac {\int (a+a \sin (e+f x))^{1+m} (c-c \sin (e+f x))^{-m} \, dx}{a c}\\ &=\left (\cos ^{-2 m}(e+f x) (a+a \sin (e+f x))^m (c-c \sin (e+f x))^m\right ) \int \cos ^{2 (1+m)}(e+f x) (c-c \sin (e+f x))^{-1-2 m} \, dx\\ &=\frac {\left (c^2 \cos ^{1-2 m+2 (1+m)}(e+f x) (a+a \sin (e+f x))^m (c-c \sin (e+f x))^{m+\frac {1}{2} (-1-2 (1+m))} (c+c \sin (e+f x))^{\frac {1}{2} (-1-2 (1+m))}\right ) \text {Subst}\left (\int (c-c x)^{-1-2 m+\frac {1}{2} (-1+2 (1+m))} (c+c x)^{\frac {1}{2} (-1+2 (1+m))} \, dx,x,\sin (e+f x)\right )}{f}\\ &=\frac {\left (2^{-\frac {1}{2}-m} c^2 \cos ^{1-2 m+2 (1+m)}(e+f x) (a+a \sin (e+f x))^m (c-c \sin (e+f x))^{-\frac {1}{2}+\frac {1}{2} (-1-2 (1+m))} \left (\frac {c-c \sin (e+f x)}{c}\right )^{\frac {1}{2}+m} (c+c \sin (e+f x))^{\frac {1}{2} (-1-2 (1+m))}\right ) \text {Subst}\left (\int \left (\frac {1}{2}-\frac {x}{2}\right )^{-1-2 m+\frac {1}{2} (-1+2 (1+m))} (c+c x)^{\frac {1}{2} (-1+2 (1+m))} \, dx,x,\sin (e+f x)\right )}{f}\\ &=\frac {2^{\frac {1}{2}-m} c \cos ^3(e+f x) \, _2F_1\left (\frac {1}{2} (1+2 m),\frac {1}{2} (3+2 m);\frac {1}{2} (5+2 m);\frac {1}{2} (1+\sin (e+f x))\right ) (1-\sin (e+f x))^{\frac {1}{2}+m} (a+a \sin (e+f x))^m (c-c \sin (e+f x))^{-2-m}}{f (3+2 m)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 6 vs. order 5 in
optimal.
time = 24.32, size = 857, normalized size = 7.52 \begin {gather*} -\frac {2^{2-m} (-3+2 m) \left (F_1\left (\frac {1}{2}-m;-2 m,1;\frac {3}{2}-m;\tan ^2\left (\frac {1}{8} (-2 e+\pi -2 f x)\right ),-\tan ^2\left (\frac {1}{8} (2 e-\pi +2 f x)\right )\right )-4 F_1\left (\frac {1}{2}-m;-2 m,2;\frac {3}{2}-m;\tan ^2\left (\frac {1}{8} (-2 e+\pi -2 f x)\right ),-\tan ^2\left (\frac {1}{8} (2 e-\pi +2 f x)\right )\right )+4 F_1\left (\frac {1}{2}-m;-2 m,3;\frac {3}{2}-m;\tan ^2\left (\frac {1}{8} (-2 e+\pi -2 f x)\right ),-\tan ^2\left (\frac {1}{8} (2 e-\pi +2 f x)\right )\right )\right ) \cos ^{1-2 m}\left (\frac {1}{4} (2 e+\pi +2 f x)\right ) \left (\cos \left (\frac {1}{2} (e+f x)\right )-\sin \left (\frac {1}{2} (e+f x)\right )\right )^{2 (1+m)} (a (1+\sin (e+f x)))^m (c-c \sin (e+f x))^{-m} \sin ^2\left (\frac {1}{4} (2 e+\pi +2 f x)\right )}{c f (-1+2 m) (-1+\sin (e+f x)) \left ((-3+2 m) F_1\left (\frac {1}{2}-m;-2 m,1;\frac {3}{2}-m;\tan ^2\left (\frac {1}{8} (-2 e+\pi -2 f x)\right ),-\tan ^2\left (\frac {1}{8} (2 e-\pi +2 f x)\right )\right )+2 \left ((6-4 m) F_1\left (\frac {1}{2}-m;-2 m,2;\frac {3}{2}-m;\tan ^2\left (\frac {1}{8} (-2 e+\pi -2 f x)\right ),-\tan ^2\left (\frac {1}{8} (2 e-\pi +2 f x)\right )\right )+(-6+4 m) F_1\left (\frac {1}{2}-m;-2 m,3;\frac {3}{2}-m;\tan ^2\left (\frac {1}{8} (-2 e+\pi -2 f x)\right ),-\tan ^2\left (\frac {1}{8} (2 e-\pi +2 f x)\right )\right )+\left (2 m F_1\left (\frac {3}{2}-m;1-2 m,1;\frac {5}{2}-m;\tan ^2\left (\frac {1}{8} (-2 e+\pi -2 f x)\right ),-\tan ^2\left (\frac {1}{8} (2 e-\pi +2 f x)\right )\right )-8 m F_1\left (\frac {3}{2}-m;1-2 m,2;\frac {5}{2}-m;\tan ^2\left (\frac {1}{8} (-2 e+\pi -2 f x)\right ),-\tan ^2\left (\frac {1}{8} (2 e-\pi +2 f x)\right )\right )+8 m F_1\left (\frac {3}{2}-m;1-2 m,3;\frac {5}{2}-m;\tan ^2\left (\frac {1}{8} (-2 e+\pi -2 f x)\right ),-\tan ^2\left (\frac {1}{8} (2 e-\pi +2 f x)\right )\right )+F_1\left (\frac {3}{2}-m;-2 m,2;\frac {5}{2}-m;\tan ^2\left (\frac {1}{8} (-2 e+\pi -2 f x)\right ),-\tan ^2\left (\frac {1}{8} (2 e-\pi +2 f x)\right )\right )-8 F_1\left (\frac {3}{2}-m;-2 m,3;\frac {5}{2}-m;\tan ^2\left (\frac {1}{8} (-2 e+\pi -2 f x)\right ),-\tan ^2\left (\frac {1}{8} (2 e-\pi +2 f x)\right )\right )+12 F_1\left (\frac {3}{2}-m;-2 m,4;\frac {5}{2}-m;\tan ^2\left (\frac {1}{8} (-2 e+\pi -2 f x)\right ),-\tan ^2\left (\frac {1}{8} (2 e-\pi +2 f x)\right )\right )\right ) \tan ^2\left (\frac {1}{8} (2 e-\pi +2 f x)\right )\right )\right )} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.23, size = 0, normalized size = 0.00 \[\int \left (\cos ^{2}\left (f x +e \right )\right ) \left (a +a \sin \left (f x +e \right )\right )^{m} \left (c -c \sin \left (f x +e \right )\right )^{-1-m}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {{\cos \left (e+f\,x\right )}^2\,{\left (a+a\,\sin \left (e+f\,x\right )\right )}^m}{{\left (c-c\,\sin \left (e+f\,x\right )\right )}^{m+1}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________